discriminating predicate

鉴别谓词